xmLP - a Literate Programming Tool for XML & Text
نویسندگان
چکیده
LitProg [Literate Programming] is a technique created by Donald Knuth to make computer programs readable and maintainable. This article introduces LitProg, demonstrates what a literate program looks like, and describes the LitProg tool “xmLP”, which can be used to literately develop program sources (or other control file sources) whose content is XML or text. Rendered by www.RenderX.com xmLP — a Literate Programming Tool for XML & Text Table of
منابع مشابه
XML Lossy Text Compression: A Preliminary Study
Lossy compression techniques have been applied to image and text compression, yielding compression factors that are vastly superior to lossless compression schemes. In this paper, we present a preliminary study on a set of lossy transformations for XML documents that preserve the semantics. Inspired by previous techniques, e.g. lossy text compression and literate programming, we apply a simple ...
متن کاملSpecifications in the Development Process: An AsmL Demonstration
AsmL is a specification system for software modeling, test generation, test validation, and implementation verification. It comprises a formal specification language, a set of libraries, and a test tool. It is integrated into the .NET Framework and Microsoft development tools. It has multiple source notations that can be used in a literate programming style either in an XML format or embedded w...
متن کاملLiterate Proving: Presenting and Documenting Formal Proofs
Literate proving is the analogue for literate programming in the mathematical realm. That is, the goal of literate proving is to produce clear expositions of formal mathematics that could even be enjoyable for people to read whilst remaining faithful representations of the actual proofs. This paper describes maze, a generic literate proving system. Authors markup formal proof files, such as Miz...
متن کاملSGML - Lite { An SGML - based Programming Environment
Literate Programming is a documentation method that attempts to maintain consistency among the various design and program documents of a software system. Unfortunately the majority of the literate programming tools do not have appropriate user interfaces and require the users to learn complicated and cryptic tagging languages. SGML is a metalanguage used to specify markup or tagging languages t...
متن کاملThe CLiP Style of Literate Programming
Literate programming is a method to integrate programs with their documentation. Compilable modules are no separate entities, but they are extracted from the documentation. Most literate programming tools use explicit commands in the formatter input files to guide the extraction process. The CLiP approach presented in this paper relies on coding style instead. This makes the code extraction com...
متن کامل